Compatibility and relevance: Bolzano and Orlov
نویسندگان
چکیده
منابع مشابه
Matching Scores of System Relevance and User-Oriented Relevance in SID, ISC and Google Scholar
Background and Aim: The main aim of Information storage and retrieval systems is keeping and retrieving the related information means providing the related documents with users’ needs or requests. This study aimed to answer this question that how much are the system relevance and User- Oriented relevance are matched in SID, SCI and Google Scholar databases. Method: In this study 15 keywords of ...
متن کاملLimited Omniscience and the Bolzano-weierstrass Principle
The constructive study of metric spaces requires at first an examination of each classical proposition for numerical content. In classical mathematics it is a theorem that sequences in a compact space have convergent subsequences, but this is not constructively true. For compact intervals on the real line it has long been known that this theorem is nonconstructive because it implies the Limited...
متن کاملThe Bolzano-Poincaré Type Theorems
In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function f : I → R, or alternatively the existence of solutions of the equation f x 0. In the case n 1 the Poincaré Theorem is well known Bolzano Theorem. In 1940Miranda rediscovered the Poincaré Theorem. Except for few isolated results it is essentially a non-algorithmic theory. The aim of this article...
متن کاملAn Extension of a Result of Bondal and Orlov
We extend the result of Bondal and Orlov on reconstruction of a variety from its derived category to the case when one of the varieties involved is Gorenstein and Fano or of general type and the other possesses enough locally-free coherent sheaves.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2004
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2002.009